La logique modale des modèles d'équilibre

RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une sémantique directe de la logique de l’équilibre en termes d’un langage modal dans lequel le langage de la logique de l’équilibre peut être traduit.